Boolean function

Results: 326



#Item
211Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: piotrkosoft.net

Language: English - Date: 2013-08-06 13:14:53
212Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: gd.tuwien.ac.at

Language: English - Date: 2013-08-06 13:14:53
213Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.physik-pool.tu-berlin.de

Language: English - Date: 2013-08-06 13:14:53
214Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.mirrorcatalogs.com

Language: English - Date: 2013-08-06 13:14:53
215Boolean algebra / Algebraic logic / Computational complexity theory / Mathematical logic / Logic / Boolean function / Artificial neuron / Boolean circuit / Circuit / Mathematics / Theoretical computer science / Applied mathematics

Reconstructing Boolean Models of Signaling Roded Sharan1 and Richard M. Karp2 1 Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel, [removed]

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2012-01-25 07:47:48
216Operations research / SCIP / Linear programming / Branching / NC / Heuristic function / COIN-OR / Restricted representation / Boolean data type / Theoretical computer science / Mathematical optimization / Mathematics

SCIP SCIP (Solving Constraint Integer Programs) is developed at the Konrad-Zuse-Zentrum f¨ur Informationstechnik Berlin (ZIB) in cooperation with TU Darmstadt, RWTH Aachen, University of Erlangen-N¨urnberg, and Siemens

Add to Reading List

Source URL: www.gams.com

Language: English - Date: 2014-09-02 04:00:18
217Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.uni-altai.ru

Language: English - Date: 2013-08-06 12:14:00
218Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.its.dal.ca

Language: English - Date: 2013-08-06 12:14:00
219Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.yazd.ac.ir

Language: English - Date: 2013-08-06 13:14:53
220Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: tug.ctan.org

Language: English - Date: 2013-08-06 13:14:53
UPDATE